Frontiers in OR/MS Track: Session I PETRI NETS – TUTORIAL AND APPLICATIONS
نویسنده
چکیده
Petri nets are graphical and mathematical tools for studying discrete event systems. Petri nets have been under extensive development since Petri defined the language in 1962. Various extensions of Petri nets have been developed to study concurrent, asynchronous, distributed, parallel, deterministic, and stochastic system behavior. This paper provides a quick tutorial to learn the basic terminology, concepts, and applications of Petri nets. We introduce the fundamentals of Petri nets and black-and-white Petri nets. We show how to use Petri nets to model and analyze discrete event systems. We also describe some extensions of Petri nets and their applications. We provide a list of references for further reading.
منابع مشابه
Petri nets and industrial applications: A tutorial
This is a tutorial paper on Petri nets. Petri nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri nets to the researchers and practitioners, both from academia and industry, who are involved in the work in the areas of mod...
متن کاملReliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial)
This tutorial covers motivation, use, and advantages of stochastic Petri nets as a tool for reliability evaluation of complex systems. Rare-event simulation techniques are demonstrated, which are applicable to a wide class of reliability problems. While this approach is known in the academic world, is has not yet been adopted much in industrial applications despite its apparent benefits. Additi...
متن کاملCompositional model checking of concurrent systems, with Petri nets
Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour of its components, i.e. there is no emergent behaviour. Process equivalence means that the explicit statespace of a system takes a back seat to its interaction patterns: the information that an environment can obtain ...
متن کاملChallenges in Business Process Management: Verification of Business Processing Using Petri Nets
Most scientists working on formal methods are mainly focusing on technical systems such as circuit design, embedded systems, traffic control, etc. Few are working on the application of formal methods to business processes. As a result, interesting problems in the domain of Business Process Management (BPM) are not addressed. To stimulate the application of formal methods to BPM, the following t...
متن کاملFormal Languages and Concurrent Behaviours
This is a tutorial based on a course delivered as part of the International PhD School in Formal Languages and Applications located at the Rovira i Virgili University in Tarragona, Spain. It is focused on an application of formal language theory to represent behaviours of concurrent systems necessitating a generalisation of language theory to traces, which originates with the work of Mazurkiewi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997